Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive (...) functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice. (shrink)

Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...

Moberly’s article is based on the premise that the translation of Bonhoeffer’s Ethics in the Dietrich Bonhoeffer Works is a critical edition. This article discusses the nature of translation, why this premise is indefensible, and points out many problematic judgments that flow from it and related assumptions. While recognising that errors occur in translations, the response affirms the scholarly value of the translation.

In this manuscript, we extend ecological approaches and suggest ideas for enhancing athlete development by utilizing the Skilled Intentionality Framework. A broad aim is to illustrate the extent to which social, cultural and historical aspects of life are embodied in the way football is played and the skills young footballers develop during learning. Here, we contend that certain aspects of the world are “weighted” with social and cultural significance, “standing out” to be more readily perceived and simultaneously acted upon when (...) playing football. To comprehend how patterns of team coordination and athletic skill embody aspects of culture and context we outline the value-directedness of player-environment intentionality. We demonstrate that the values an individual can express are constrained by the character of the social institutions and the social order in which people live. In particular, we illuminate the extent to which value-directedness can act as a constraint on the skill development of football players “for good or ill.” We achieve this goal by outlining key ecological and relational concepts that help illustrate the extent to which affordances are value-realizing and intentionality is value-directed. To enhance coaching practice, we offer: insights into markers of skilled intentionality, and, the language of skilled intentions, as well as highlighting, an additional principle of Non-linear Pedagogy: Shaping skilled intentions, or more precisely shaping the value-directedness of player-environment intentionality. We contend that, if sport practitioners do not skilfully attend to sociocultural constraints and shape the intentions of players within training environments and games, the social, cultural, and historic constraints of their environment will do so: constantly soliciting some affordances over others and directing skill development. (shrink)

This article offers a new interpretation of Bonhoeffer's Christian peace ethic, a more penetrating description of what is usually called his `pacifism'. This peace ethic does not rest on a principle of non-violence — Bonhoeffer rejects an ethic of principles — but is rooted in his distinctive reading of Scripture, especially the Sermon on the Mount, and his understanding of Christ, discipleship, the gospel and the church. Consequently he does not abandon his peace ethic to participate in the anti-Hitler conspiracy (...) and attempted tyrannicide. Theological analysis and historical information both support this conclusion. (shrink)

The construct of “choking under pressure” is concerned with the phenomenon of unexpected, sudden, and significant declines in individual athletes’ performances in important situations and has received empirical attention in the field of sport psychology. Although a number of theories about the reasons for the occurrence of choking under pressure exist and several intervention approaches have been developed, underlying mechanisms of choking are still under debate and the effectiveness of existing interventions remains contested. These sudden performance declines also occur in (...) team sport. “Collective sport team collapse,” which describes the situation when an entire sport team underperforms significantly within an important competitive situation, has received less empirical attention, in comparison to individual choking research. While there are a few studies that have investigated causes of collective team collapse, understandably, there has been limited empirical investigation of preventative and intervention strategies. Although the two constructs appear to share several similar characteristics and mechanisms, research has not yet examined the conceptual, theoretical, empirical, and practical links between choking under pressure and collective sport team collapse. In this review article, we seek to examine these similarities and differences and identify new ways of thinking about future interventions. Furthermore, current empirical understandings in the field of choking under pressure and collective sport team collapse are presented and the most effective intervention approaches for both constructs are introduced. On the basis of this examination, we modestly make some initial recommendations for sport psychological practitioners and future research. (shrink)

This paper raises questions about the epistemological foundations of evidence-based medicine . We argue that EBM is based upon reliabilist epistemological assumptions, and that this is appropriate - we should focus on identifying the most reliable processes for generating and collecting medical knowledge. However, we note that this should not be reduced to narrow questions about which research methodologies are the best for gathering evidence. Reliable processes for generating medical evidence might lie outside of formal research methods. We also question (...) the notion of the knower that is assumed by EBM. We argue that EBM assumes an enlightenment conception of knowers as autonomous, substitutable individuals. This conception is troubled by the way that clinicians learn the role of anecdote in health care and the role of patient choice, all of which bring into play features of clinicians and patients as situated individuals with particular backgrounds and experiences. EBM's enlightenment conception of the knower is also troubled by aspects of the way evidence is produced. Given these limitations, we argue that EBM should retain its reliabilist bent, but should look beyond formal research methodologies in identifying processes that yield reliable evidence for clinical practice. We suggest looking to feminist epistemology, with its focus on the standpoints of individual situated knowers, and the role of social context in determining what counts as knowledge. (shrink)

Although little noticed by practicing theorists, narrative voice influences theoretical work. This essay presents a demonstration of voice as method, concentrating on brief segments of works by Garfinkel and Goffman. We attend to two methodological themes: how theorists use voice to establish intellectual autonomy, and how the use of voice influences credibility with readers. Garfinkel maximizes his autonomy by using narrative techniques that isolate him from his readers, and produce little common context with them as a result. Goffman maintains a (...) context for credibility with his readers by using a personal voice, but he uses this voice to request their indulgence as he follows his autonomous muse. Goffman's narrative self-indulgence prevents him from fashioning a coherent theoretical program for his readers, something Garfinkel's distant voice enables him to achieve. (shrink)

Because the main difference between combinatory weak equality and λβ-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β-equality is to add rule (ξ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in (ξ) very carefully. If one tries to use one of the (...) more common abstraction algorithms, the result will be an equality, = ξ , that is either equivalent to βη-equality (and so strictly stronger than β-equality) or else strictly weaker than β-equality. This paper will study the relations = ξ for several commonly used abstraction algorithms, distinguish between them, and axiomatize them. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

People are motivated by shared social values that, when held with moral conviction, can serve as compelling mandates capable of facilitating support for ideological violence. The current study examined this dark side of morality by identifying specific cognitive and neural mechanisms associated with beliefs about the appropriateness of sociopolitical violence, and determining the extent to which the engagement of these mechanisms was predicted by moral convictions. Participants reported their moral convictions about a variety of sociopolitical issues prior to undergoing functional (...) MRI scanning. During scanning, they were asked to evaluate the appropriateness of violent protests that were ostensibly congruent or incongruent with their views about sociopolitical issues. Complementary univariate and multivariate analytical strategies comparing neural responses to congruent and incongruent violence identified neural mechanisms implicated in processing salience and in the encoding of subjective value. As predicted, neuro-hemodynamic response was modulated parametrically by individuals’ beliefs about the appropriateness of congruent relative to incongruent sociopolitical violence in ventromedial prefrontal cortex, and by moral conviction in ventral striatum. Overall moral conviction was predicted by neural response to congruent relative to incongruent violence in amygdala. Together, these findings indicate that moral conviction about sociopolitical issues serves to increase their subjective value, overriding natural aversion to interpersonal harm. (shrink)

Variations in levels of apolipoprotein E have been tied to the risk and progression of Alzheimer's disease . Our group has previously compared and contrasted the promoters of the mouse and human ApoE gene promoter sequences and found notable similarities and significant differences that suggest the importance of the APOE promoter's role in the human disease. We examine here three specific single-nucleotide polymorphisms within the human APOE promoter region, specifically at -491 , -427 , and at -219 upstream from the (...) +1 transcription start site. The -219 and -491 polymorphic variations have significant association with instance of AD, and -491AA has significant risk even when stratified for the APOEepsilon4 allele. We also show significant effects on reporter gene expression in neuronal cell cultures, and, notably, these effects are modified by species origin of the cells. The -491 and -219 polymorphisms may have an interactive effect in addition to any independent activity. DNA-protein interactions differ between each polymorphic state. We propose SP1 and GATA as candidates for regulatory control of the -491 and -219 polymorphic sites. This work's significance lies in drawing connection among APOE promoter polymorphisms' associations with AD to functional promoter activity differences and specific changes in DNA-protein interactions in cell culture-based assays. Taken together, these results suggest that APOE expression levels are a risk factor for AD irrespective of APOEepsilon4 allele status. (shrink)

This book assesses how Vatican II opened up the Catholic Church to encounter, dialogue, and engagement with other world religions. Opening with a contribution from the President of the Pontifical Council for Interreligious Dialogue, Cardinal Jean-Louis Tauran, it next explores the impact, relevance, and promise of the Declaration Nostra Aetate before turning to consider how Vatican II in general has influenced interfaith dialogue and the intellectual and comparative study of world religions in the postconciliar decades, as well as the contribution (...) of particular past and present thinkers to the formation of current interreligious and comparative theological methods. Additionally, chapters consider interreligious dialogue vis-à-vis theological anthropology in conciliar documents; openness to the spiritual practices of other faith traditions as a way of encouraging positive interreligious encounter; the role of lay and new ecclesial movements in interreligious dialogue; and the development of Monastic Interreligious Dialogue. Finally, it includes a range of perspectives on the fruits and future of Vatican’s II’s opening to particular faiths such as Judaism, Islam, Hinduism, and Buddhism. (shrink)

This is the most up-to-date, brief and accessible introduction to Kant's ethics available. It approaches the moral theory via the political philosophy, thus allowing the reader to appreciate why Kant argued that the legal structure for any civil society must have a moral basis. This approach also explains why Kant thought that our basic moral norms should serve as laws of conduct for everyone. The volume includes a detailed commentary on Foundations of the Metaphysics of Morals, Kant's most widely studied (...) work of moral philosophy. The book complements the author's much more comprehensive and systematic study Immanuel Kant's Moral Theory, a volume that has received the highest critical praise. With its briefer compass and non-technical style this new introduction should help to disseminate the key elements of one of the great modern philosophies to an even wider readership. (shrink)

Recent developments in quantum theory have focused attention on fundamental questions, in particular on whether it might be necessary to modify quantum mechanics to reconcile quantum gravity and general relativity. This book is based on a conference held in Oxford in the spring of 1984 to discuss quantum gravity. It brings together contributors who examine different aspects of the problem, including the experimental support for quantum mechanics, its strange and apparently paradoxical features, its underlying philosophy, and possible modifications to the (...) theory. (shrink)

This book, sure to become a standard reference work, is a comprehensive, lucid, and systematic commentary on Kant's practical philosophy. Kant is arguably the most important moral philosopher of the modern period. Using as nontechnical a language as possible, Professor Sullivan offers a detailed, authoritative account of Kant's moral philosophy - including his ethical theory, his philosophy of history, his political philosophy, his philosophy of religion, and his philosophy of education - and demonstrates the historical, Kantian origins of such important (...) notions as 'autonomy', 'respect for persons', 'rights', and 'duties'. An invaluable resource, this book will be extremely useful to advanced undergraduates, graduates, and professional philosophers alike. (shrink)

An international legal agreement governing the global antimicrobial commons would represent the strongest commitment mechanism for achieving collective action on antimicrobial resistance (AMR). Since AMR has important similarities to climate change—both are common pool resource challenges that require massive, long-term political commitments—the first article in this special issue draws lessons from various climate agreements that could be applicable for developing a grand bargain on AMR. We consider the similarities and differences between the Paris Climate Agreement and current governance structures for (...) AMR, and identify the merits and challenges associated with different international forums for developing a long-term international agreement on AMR. To be effective, fair, and feasible, an enduring legal agreement on AMR will require a combination of universal, differentiated, and individualized requirements, nationally determined contributions that are regularly reviewed and ratcheted up in level of ambition, a regular independent scientific stocktake to support evidence informed policymaking, and a concrete global goal to rally support. (shrink)